基于角色访问控制系统中角色结构安全性分析问题的模型检测验证

提出了一种与角色结构相关的安全性分析问题(RRA-SAP),分析了角色结构对系统安全性的影响,证明了其计算复杂度,采用模型检测技术得到将RRA-SAP转化为模型检测问题的自动化验证算法,并验证了其有效性.结果表明,该算法可以在期望的时间内自动解决RRA-SAP问题.     

虚拟网络马拉松系统通信协议及关键技术研究

虽然分布式虚拟环境及其各种技术已发展成熟,但其在电子竞技领域的应用尚不多见。将分布式虚拟环境技术应用到电子竞技领域的＂虚拟网络马拉松＂系统中,描述了虚拟化电子竞技系统的特点和通信协议设计准则,讨论了相关的一些关键技术的实现,包括标准性、公平性、通信开销和自愈合性,在此基础上设计并实现了虚拟网络马拉松系统网络通信协议VNMCP。

Abstract：

Although technologies on Distributed Virtual Environment （DVE） have been well-developed in recent years,they are rarely applied to E-Sports systems. DVE technologies with the Virtual Networked Marathon System in the E-Sports area were integrated. The characters of E-Sports and design principles of E-Sports communication protocols were described,and the implementation of some key technologies was discussed,including standardization,fairness,overhead and self-healingness. The Virtual Networked Marathon Communication Protocol （VNMCP） was proposed and implemented.     

Application of surface plasmon resonance in screening adsorbents and explaining adsorption phenomena using model polymers

A surface plasmon resonance (SPR) technique was developed as an online screening method to identify effective adsorbents for the peptide NH₂-Cys-Thr-Trp-Trp-COOH (CW-4). To validate the SPR technique, several linear polymers containing amino acid residues were synthesized as models of their corresponding adsorbents. SPR screening of all the linear polymers demonstrated that the linear polymer containing phenylalanine residues (PPhe) exhibited the highest affinity for CW-4 among the polymers tested. In accordance with the screening results from SPR, the adsorbent containing phenylalanine (APhe) exhibited the highest adsorption capacity for CW-4. An interesting observation was that the amounts of CW-4 adsorbed on 3 adsorbents were quite small, even though both SPR and isothermal titration calorimetry (ITC) experiments indicated the presence of interactions between CW-4 and the three polymers. A kinetic analysis performed using SPR technology suggested such a phenomenon was ascribed to the poor stability of the CW-4/polymer complexes; that is, CW-4 associates with the polymers quickly, but it also dissociated quickly. The combined results suggested that SPR was a promising tool to identify the optimal adsorbent for peptides, analyze the interactions contributing to adsorption and explain adsorption phenomena using polymer models.     

我国篮球运动体能训练问题研究

运用文献资料法、问卷调查法和逻辑分析法对我国篮球运动体能训练存在的问题进行研究.提出了体能训练问题的相关创新对策,以期为我国篮球运动体能训练提供参考.     

均质机复合温度控制系统的设计

温度控制作为均质机控制系统的关键环节,其控制质量的好坏直接影响均质产品的乳化程度;均质机温度控制过程是一个具有大时滞、非线性、强干扰的复杂控制对象,采用常规的PID控制技术对温度进行精密控制难以取得理想效果.针对这一问题进行研究分析,提出了一种基于复合模糊PID 算法的智能控制方法.研究结果表明,新的控制方法能够有效地提高控制精度,具有较好的动态性能和较强的鲁棒性.     

Rapid Prototyping and Manufacturing Technology: Principle,Representative Technics,Applications, and Development Trends

The rapid prototyping and manufacturing technology (RPM), is an integration of many different disciplines. It is based on an advanced dispersed-accumulated forming principle and originated from 1980s. It generates an entity by first forming a series of layers according to the dispersed section information of the digital model, and then piling the formed layers sequentially together. It is capable of forming parts with complicated structures and non-homogeneous materials. Traditional RPM techniques are mainly used as prototypes in product invention process, such as stereolithography, three-dimensional printing, laminated object manufacturing, and fused deposition modeling. Later, with the progress of material and enabling technology, many new RPM techniques emerged out and have been already applied in the fields such as rapid tooling/moulding, direct formed usable part, nano-/micro-RPM, and biomanufacturing. This high flexible digital manufacturing method has a likely ability to become an almighty forming technology.     

Rapid Manufacturing of Sand Molds by Direct Milling

Direct milling of sand molds is an important development in rapid manufacturing of sand molds. Direct milling is an effective method for manufacturing single or small batches of cast parts. This paper describes experimental investigations to find sand blocks with the appropriate strength, to describe wear patterns of different tools (high-speed steel (HSS), carbide, and polycrystalline diamond (PCD) tools), and to analyze sand mold cutting mechanisms. The results show that the PCD tool outperformes the other tools in terms of tool life. Average flank wear and micro-tipping are the dominant tool failure modes in the sand mold milling process. With a flank wear limit of 0.3 mm, the PCD tool works continuously for about 70 h under the experimental conditions. The experimental results show that the cutting mechanism for direct milling sand molds differs from metal cutting.     

基于Web Service的图书馆手机客户端研究与实现

随着智能手机的普及,图书馆作为信息资源基地,应积极地适应移动传媒时代读者需求的变化,建设移动图书馆,以便更好地为读者服务。在比较3种移动图书馆服务模式后,详细介绍了北京工业大学图书馆手机客户端——"友书工大"的研究与开发,包括系统架构、数据库交互接口、前后台开发环境、所用技术、开发特点等,并对产品后续升级工作做出展望。     

《梦溪笔谈》研究的主要内容与成果概览

自上世纪初叶竺可桢先生率先对《梦溪笔谈》（以下简称《笔谈》）进行研究与应用以来，《笔谈》研究已有80多年历史，不同领域的人士从各自专业角度，对《笔谈》进行了广泛的探讨与研究，范围涉及《笔谈》的作者、版本、校订、注疏、译述、条目属性、《笔谈》在众多领域的学术研究与应用价值等，取得了极为丰硕的多种形式的研究成果。对《笔谈》研究的内容与成果进行综述，有助于把握《笔谈》研究的总体情况与发展趋势。     

基于构件建造信息系统的自适应体系结构

本文基于Ｈ．Ａ．Ｓｉｍｏｎ的决策认知过程分析，提出了一种用构件组装方式产生适应不同需求的信息系统。为了提高研制效率，给出了信息系统及其构件的形式化描述。在软件集成块 Ｓｏｆｔｗａｒｅ－ＩＣ的思路影响下提出了一种系统构成的自组织方法。